منابع مشابه
Memory Management with Use-Counted Regions
We introduce a new region-based memory management technique that allows flexible memory usagepatterns and is provably safe. Our technique is explicit and manual like C’s malloc and free, and itallows programmers to exert a similar degree of control over the program behavior. Our method is quitesimple in spite of this expressiveness and safety.We apply the technique to a small fu...
متن کاملCounting Fiedler pencils with repetitions
We introduce a new notation based on diagrams to deal with Fiedler pencils with repetitions (FPR), and use it to solve several counting problems. In particular, we give explicit recurrences to count the number of FPRs of a given degree d, the number of symmetric, palindromic and antipalindromic ones (where the latter two structures are intended in the sense of [5]). We relate these structures t...
متن کاملTwo-Pattern Strings — Computing Repetitions & Near-Repetitions
In a recent paper we introduced infinite two-pattern strings on the alphabet {a, b} as a generalization of Sturmian strings, and we posed three questions about them: • Given a finite string x, can we in linear time O(|x|) recognize whether or not x is a prefix/substring of some infinite two-pattern string? • If recognized as two-pattern, can all the repetitions in x be computed in linear time? ...
متن کاملVerifying Reference Counted Objects
Reference counting is a pervasive resource management idiom where each resource contains a count of the number of clients that hold a reference to it, and each client increments (resp., decrements) the count on acquiring (resp., releasing) the resource. If the reference count falls to zero, the system can reclaim the resource. Reference counting is often a source of subtle bugs, ranging from le...
متن کاملLearning occurs with repetitions of inspiratory loading.
human and murine allergic airway inflammation. While its effector function is incompletely understood, our preliminary experiments lead us to propose that IL-16 is a naturally occurring modulator of Th2 cell-mediated airway inflammation. Prior experiments have demonstrated that IL-16 interferes with antigen recognition and Th2 cytokine production by CD4 cells. We tested the hypothesis that IL-1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science
سال: 2020
ISSN: 2300-7036,1508-2806
DOI: 10.7494/csci.2020.21.4.3753